How to Install hol-light software package in Ubuntu 14.04 LTS (Trusty Tahr)

How to Install hol-light software package in Ubuntu 14.04 LTS (Trusty Tahr)

hol-light software package provides HOL Light theorem prover, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install hol-light

hol-light is installed in your system.

Make ensure the hol-light package were installed using the commands given below,

$ sudo dpkg-query -l | grep hol-light *

You will get with hol-light package name, version, architecture and description in a table

hol-light package basic information:

Distro Ubuntu 14 04 lts trusty tahr
Section Mathematics
Package hol-light
Version 20131026-1build1
Description HOL Light theorem prover
Sub Section math


See Also, How to uninstall or remove hol-light software package from Ubuntu 14.04 LTS (Trusty Tahr)?


Search
10 Types of TOP Command on Linux / Unix with ExamplesHow to Install and Testing MQTT Using MQTT-Malaria on UbuntuHow to Install HAProxy-1.6-stable version on Ubuntu Yakkety-16.10 LTSResolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?What will do while getting : GCP googleapi Error 400: Unparseable iamMember in Terraform
MSSQL Database Backup and Restore SQL Server Management Studio 2012Error: OpenSSL library not found (or) SSL modules require the OpenSSLHow to Find Files Last access, Modified Date/Time By Linux CommandsError on UPCP Script Undefined Subroutine and cPanelError Log : Client Denied by Server Configuration on Apache-2.2Install and Create PERL Extension in PostgreSQL DatabaseHow to Fix an Error wp_remote_post() Failed on WordPress ApplicationHow to Install Docker and Run a Container In your Ubuntu 20.04 How to Delete Files Older than Number of or X days in LinuxWhy we are receiving xcrun: error: invalid active developer path (/Library/Developer/CommandLineTools)?